1. Applied proof theory: proof interpretations and their use in mathematics
Author: Kohlenbach, U. )Ulrich(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
Classification :
QA
9
.
54
.
K64
2008
